<html>
<body>
Reports receiver parameter of extension functions and properties that is not used.
<p><b>Remove redundant receiver parameter</b> can be used to amend the code automatically.</p>
</body>
</html>
